/*
 * VariousRule.h
 *
 *  Created on: May 21, 2012
 *      Author: kobe
 */

#ifndef VARIOUSRULE_H_
#define VARIOUSRULE_H_

#include "Rule.h"

class VariousRule: public Rule {
public:
	VariousRule();
	virtual ~VariousRule();
	virtual std::vector<Sequent*> run(Sequent*);
	virtual std::vector<Sequent*> run(Sequent*, size_t);
	virtual std::string toString();
	virtual std::string toLatex();
	virtual bool isVariousRule();
protected:
	size_t mNumOfRun;
};

#endif /* VARIOUSRULE_H_ */
